Sistema de Sugestões Sensível ao Contexto

Over the last few years, pervasive systems have experienced some interesting development. Nevertheless, human-human interaction can also take advantage of those systems by using their ability to perceive the surrounding environment. In this dissertation, we have developed a pervasive system - named ConversationaL Aware Suggestion SYstem (CLASSY) - which is aware of the conversational context and suggests the users potentially useful documents or that, somehow, save time executing a specific task. We have also proposed two different approaches - the Neighborhood one, that uses semantic similarity, based on proximity data in order to classify the relationship between tokens; and the Reinforcement Learning one, that uses implicit feedback associated with each suggestion as a source of knowledge that can be used to improve the system's performance over time. The conducted tests showed that these two approaches not only enhanced the pervasive behavior of the system, but also increased its global performance. A case study regarding the importance of feedback on context-limited environments was also carried out, whose results showed that it is still a useful source of knowledge regardless the conversational environment's characteristics.Ao longo dos últimos anos, os sistemas pervasivos têm sido fonte de um grande desenvolvimento. Contudo, as interações humano-humano também podem tirar vantagem deste tipo de sistemas recorrendo à sua capacidade para entender o ambiente que o rodeia. Nesta dissertação, foi desenvolvido um sistema pervasivo - chamado Sistema de Sugestões Sensível ao Contexto (CLASSY) - que está consciente dos vários contextos conversacionais e que sugere documentos considerados potencialmente úteis para os utilizadores ou que, de alguma forma, poupam tempo na execução de uma tarefa específica. Foram também propostas duas aproximações diferentes - a de vizinhança, que usa similaridade semântica, baseando-se em proximidades de forma a classificar relações entre palavras; e a de Aprendizagem por Reforço, que usa feedback implícito dos utilizadores associado a cada sugestão, como fonte de conhecimento que pode ser utilizado para melhorar a performance do sistema ao longo do tempo. Os testes realizados mostraram que as aproximações acima referidas melhoraram não só o comportamento pervasivo do sistema, mas também a sua performance global. Foi, ainda, analisado um caso de estudo referente à importância de feedback em ambientes com contexto limitado, onde os resultados mostraram que o mesmo continua a ser uma importante fonte de conhecimento, independentemente das características do ambiente conversacional.Mestrado em Engenharia de Computadores e Telemátic

Single-trial correlates of decision-making in dorsal premotor and primary motor cortices

Everyday, as we move through the world we seamlessly make hundreds of per- ceptual decisions often without fully appreciating the underlying fast and precise computations going on in our brains. A fundamental question in the decision-making eld is to understand how and where in the brain information is combined to form decisions that lead to appropriate responses.(...

Análise da diluição no Método Câmaras Transversais utilizando modelagem numérica : estudo de caso mina Arenal Deeps

O impacto econômico da diluição não planejada está distribuído no aumento de custos diversos do processo, como carregamento, transporte, britagem e moagem, ocasionando um desperdício na capacidade total de processo. Esse trabalho tem como objetivo inicial quantificar a ocorrência de diluição não planejada existente no hangingwall de uma mina subterrânea de ouro com método Transversal Stope e recuperação de pilares com uso de enchimento cimentado. Posteriormente está o uso de modelagem numérica com o objetivo de reproduzir a ocorrência de diluição, além de proporcionar a verificação e otimização de diferentes geometrias para os stopes. A diluição pode ser atribuída tanto a forma de extração (desenho dos stopes, sequência, perfuração e desmonte), além de problemas geomecânicos (qualidade do maciço, cablebolts e estado tensional). Otimizações para reduzir a diluição não planejada requerem um entendimento de todos esses fatores que afetam direta e indiretamente o ingresso de material estéril do hangingwall nos stopes. Este trabalho tem como foco principal verificar a diluição proveniente de problemas geomecânicos e de desenho dos stopes. As ferramentas utilizadas para analisar e quantificar os fatores de diluição foram: escâner de cavidades (CMS - Cavity Monitoring System) e software 3D capaz de efetuar operações booleanas. A diluição no hangingwall foi quantificada por meio da metodologia do fator ELOS. Para reproduzir a diluição nos stopes foram utilizados modelos numéricos de elementos finitos sendo que cinco stopes primários foram selecionados e utilizados para calibração dos modelos. O volume da zona de relaxamento no hangingwall, produzido pelos modelos, apresentou uma boa correlação com o volume da diluição real, refletindo a realidade dos stopes produzidos na mina. Então, a partir dos modelos calibrados, foram produzidos novos modelos com diferentes geometrias de stopes onde foi possível observar diversas oportunidades de melhorias na redução da diluição do método, fazendose modificações no desenho dos stopes/galerias e nos cablebolts instalados no hangingwall.The economic impact of unplanned dilution is distributed in an increase in many costs of the process, such as loading, transport, crushing and grinding, resulting in less overall process capability. This work has as main goal quantify the unplanned dilution in the hangingwall of an underground gold mine with pillar less Transversal Stopes method, using cemented rock fill. After, numerical modeling will be used in order to reproduce the occurrence of dilution, and provide verification and optimization of different geometries for stopes. Overbreak can be attributed to both the shape extraction (design of the stopes, sequence, drill and blast), and geotechnical problems (rock quality, cablebolts and tensional state). Efforts to reduce unplanned dilution require an understanding of all these factors that directly and indirectly affect the inflow of waste material from hangingwall to the open stopes. This work is mainly focused on checking the dilution from geomechanical problems and design of the stopes. The main tools used in the analysis of dilution factors were Cavity Monitoring System (CMS) and 3D software able to perform boolean operations. The dilution in the hanging wall was quantified by the ELOS methodology. To reproduce the dilution in the stopes, numerical finite element models were used and five primary stopes were selected as calibration models. The volume of the relaxation zone at the hanging wall, produced by the models, showed good correlation with the volume of actual dilution, reflecting the reality of stopes produced at the mine. Then, from the calibrated models were produced new models with different stopes geometries where we could see several opportunities for improvement in reducing the dilution of the method, making some modifications to the design of the stopes/galleries and in cablebolts of the hangingwall

Metodologia heurística para otimização do arranjo de realces abertos e pilares verticais no método sublevel open stoping

Um projeto otimizado de lavra deve priorizar o equilíbrio entre segurança e retorno econômico. Dessa forma, o algoritmo de otimização do layout de lavra precisa incluir no valor econômico, o custo do desempenho geomecânico do cenário otimizado, em função da diluição do minério e em função de problemas de falha de pilares. A meta deste trabalho é a proposta de uma metodologia integrada de otimização econômica do arranjo dos realces abertos (open stopes) e os pilares verticais (rib pillars), com o desenvolvimento de um algoritmo evolutivo, incorporando os critérios estabelecidos, como tamanho mínimo dos realces, tamanho mínimo dos pilares, diluição máxima aceitável e porcentagem máxima aceitável de falha nos pilares, que não comprometa a estabilidade global da lavra. Para verificar as metas estabelecidas, foi considerado um estudo de caso de um painel de lavra, de extensão de uma mina subterrânea de ouro, que utiliza o método de lavra de realces em subníveis abertos, com sequência de lavra descendente, onde pilares verticais são deixados de maneira permanente. A primeira etapa do algoritmo é gerar cenários aleatórios, que sejam válidos do ponto de vista das restrições estabelecidas. Na segunda etapa estes cenários serão sorteados para que o algoritmo genético realize cruzamentos, gerando novos indivíduos. Cada novo individuo gerado precisará ser quantificado economicamente, considerando o desempenho geomecânico fornecido pelo modelo numérico. O algoritmo é finalizado quando se atinge o número máximo de gerações definida, ou ainda se durante várias iterações não ocorre melhora no resultado. Ao se comparar o cenário ótimo, obtido pela empresa, considerando a metodologia tradicional, e o cenário ótimo obtido pela nova metodologia proposta se verifica que ainda que o lucro líquido seja menor no caso da metodologia proposta, a diluição potencial foi minimizada, assim como a porcentagem de falha dos pilares, ao mesmo tempo que preserva o mesmo teor médio. Também foi possível verificar que o algoritmo é capaz de compensar as variações dos parâmetros inseridos, selecionando cenários com tamanho médio de realces e pilares maiores ou menores, e consequentemente variando o número total de pilares e realces obtidos, sempre em função de um melhor resultado econômico. A metodologia proposta provou que é possível realizar uma otimização integrada, considerando os custos inerentes à lavra, juntamente com o custo do desempenho geomecânico do cenário.An optimized mining project must always consider the balance between safety and economic return. Thus, the optimization algorithm needs to include in the economic value, the cost of the geomechanical performance of the optimized scenario, as a function of ore dilution and as a function of pillar failure problems. The aim of this work is to propose an integrated methodology for the economic optimization of the arrangement of open stopes and rib pillars, with the development of an evolutionary algorithm, incorporating established criteria, such as minimum size of stopes, minimum pillars size, maximum accepted dilution and maximum acceptable percentage of pillar failure, without compromising the global stability of the mine. To verify the established goals, it was considered a case study of a mining panel, an extension of an underground gold mine, which uses the method of sublevel open stopes, with a top-down mining sequence, where vertical pillars are left permanently. The first step of the algorithm is to generate random scenarios, which are valid from the point of view of the established restrictions. In the second stage, these scenarios will be randomly selected for the genetic algorithm to perform reproduction, generating new individuals. Each new individual generated will need to be economically quantified, considering the geomechanical performance provided by the numerical model. The algorithm is terminated when the maximum number of generations defined is reached, or even if during several iterations there is no improvement in the result. When comparing the optimal scenario, obtained by the company, considering the traditional methodology, and the optimal scenario obtained by the new proposed methodology is that even though the net profit is lower in the case of the proposed methodology, the potential dilution was minimized, as well as the percentage of pillar failure, while preserving the same average content. It was also possible to verify, in the other optimizations performed, that the algorithm can compensate for the variations of the parameters entered, selecting scenarios with an average size of larger or smaller stopes and pillars, and consequently varying the total number of pillars and stopes obtained, always depending on of a better economic result. The proposed methodology proved that it is possible to carry out an integrated optimization, considering the costs inherent to mining, together with the cost of the geomechanical performance of the scenario

Train me if you can: decentralized learning on the deep edge

The end of Moore’s Law aligned with data privacy concerns is forcing machine learning (ML) to shift from the cloud to the deep edge. In the next-generation ML systems, the inference and part of the training process will perform at the edge, while the cloud stays responsible for major updates. This new computing paradigm, called federated learning (FL), alleviates the cloud and network infrastructure while increasing data privacy. Recent advances empowered the inference pass of quantized artificial neural networks (ANNs) on Arm Cortex-M and RISC-V microcontroller units (MCUs). Nevertheless, the training remains confined to the cloud, imposing the transaction of high volumes of private data over a network and leading to unpredictable delays when ML applications attempt to adapt to adversarial environments. To fill this gap, we make the first attempt to evaluate the feasibility of ANN training in Arm Cortex-M MCUs. From the available optimization algorithms, stochastic gradient descent (SGD) has the best trade-off between accuracy, memory footprint, and latency. However, its original form and the variants available in the literature still do not fit the stringent requirements of Arm Cortex-M MCUs. We propose L-SGD, a lightweight implementation of SGD optimized for maximum speed and minimal memory footprint in this class of MCUs. We developed a floating-point version and another that operates over quantized weights. For a fully-connected ANN trained on the MNIST dataset, L-SGD (float-32) is 4.20× faster than the SGD while requiring only 2.80% of the memory with negligible accuracy loss. Results also show that quantized training is still unfeasible to train an ANN from the scratch but is a lightweight solution to perform minor model fixes and counteract the fairness problem in typical FL systems.This work has been supported by FCT - Fundação para a Ciência e Tecnologia within the R&D Units Project Scope: UIDB/00319/2020. This work has also been supported by FCT within the PhD Scholarship Project Scope: SFRH/BD/146780/2019

O papel do lítio na transição energética: Perspetivas sociais sobre a sua exploração

Vivemos numa época de mudanças em vários setores. No plano energético um dos grandes objetivos é chegar à utilização de 100 % de energia "verde" nos diversos parâmetros desta atividade. Uma das tecnologias mais faladas atualmente é incorporada pelo uso de lítio, nomeadamente em baterias, indo de veículos elétricos até ao armazenamento de energia renovável. Sendo o uso de lítio neste tipo de compostos aclamado por diversas partes, a questão da sua mineração é amplamente criticada por outras. Se o lítio é visto com uma das tecnologias para o combate às alterações climáticas e para uma melhoria na eficiência energética, é uma inconsistência que a sua prospeção e exploração estejam associadas a práticas ambientais pouco desejáveis. É então objetivo deste estudo a análise das várias visões em relação à exploração de lítio, sobretudo em Portugal, aos seus impactos negativos e positivos, aos processos de decisão, à justiça ambiental e ainda ao seu papel na transição energética. Este estudo parte de 11 entrevistas semi-estruturadas, realizadas entre Março e Maio de 2020. As entrevistas foram analisadas através de uma análise temática, segundo a qual se identificaram quatro grandes temas, cada um com vários sub-temas. O estudo evidencia opiniões contra e a favor da exploração de lítio, a apresentação de argumentos para a origem dos seus conflitos ambientais, a defesa do ambiente e do património e também a consideração de que as pessoas têm de ser envolvidas nos processos de tomada de decisão, aspeto fundamental na garantia da transparência incorporada pela justiça ambiental.We live in a time of transitions in various sectors. In terms of energy, one of the main objectives is to reach the goal of using 100% "green" energy. One of the most talked about technologies today is incorporated by the use of lithium, namely in batteries, ranging from electric vehicles to the storage of renewable energy. Since the use of lithium in this type of compound is acclaimed by several parties, the question of its mining is widely criticized by others. If lithium is seen as one of the technologies for combating climate change and for an improvement in energy efficiency it must be considered an inconsistency that its exploration and exploitation are associated with undesirable environmental practices. The objective of this study is, therefore, to analyze the various visions in relation to the exploitation of lithium, its use for the energy transition, the negative and positive impacts and the decision-making processes and environmental justice linked to it. This study is based on 11 semi-structured interviews. The interviews were analyzed through a thematic analysis, through which four major themes were identified, each with several sub-themes. In general, the study highlights opinions against and in favor of the exploitation of lithium, the presentation of arguments for the origin of the environmental conflicts related to it, the defense of the environment and also the consideration that people have to be involved in decision-making processes, a fundamental aspect in ensuring the equity incorporated by environmental justice

Caracterização do “warpage” e sua variabilidade no processo produtivo de encapsulamento de circuitos integrados

Nos últimos anos a indústria de semicondutores, nomeadamente a produção de memórias, tem sofrido uma grande evolução. A necessidade de baixar custos de produção, assim como de produzir sistemas mais complexos e com maior capacidade, levou à criação da tecnologia WLP (Wafer Level Packaging). Esta tecnologia permite a produção de sistemas mais pequenos, simplificar o fluxo do processo e providenciar uma redução significativa do custo final do produto. A WLP é uma tecnologia de encapsulamento de circuitos integrados quando ainda fazem parte de wafers (bolachas de silício), em contraste com o método tradicional em que os sistemas são individualizados previamente antes de serem encapsulados. Com o desenvolvimento desta tecnologia, surgiu a necessidade de melhor compreender o comportamento mecânico do mold compound (MC - polímero encapsulante) mais especificamente do warpage (empeno) de wafers moldadas. O warpage é uma característica deste produto e deve-se à diferença do coeficiente de expansão térmica entre o silício e o mold compound. Este problema é observável no produto através do arqueamento das wafers moldadas. O warpage de wafers moldadas tem grande impacto na manufatura. Dependendo da quantidade e orientação do warpage, o transporte, manipulação, bem como, a processamento das wafers podem tornar-se complicados ou mesmo impossíveis, o que se traduz numa redução de volume de produção e diminuição da qualidade do produto. Esta dissertação foi desenvolvida na Nanium S.A., empresa portuguesa líder mundial na tecnologia de WLP em wafers de 300mm e aborda a utilização da metodologia Taguchi, no estudo da variabilidade do processo de debond para o produto X. A escolha do processo e produto baseou-se numa análise estatística da variação e do impacto do warpage ao longo doprocesso produtivo. A metodologia Taguchi é uma metodologia de controlo de qualidade e permite uma aproximação sistemática num dado processo, combinando gráficos de controlo, controlo do processo/produto, e desenho do processo para alcançar um processo robusto. Os resultados deste método e a sua correta implementação permitem obter poupanças significativas nos processos com um impacto financeiro significativo. A realização deste projeto permitiu estudar e quantificar o warpage ao longo da linha de produção e minorar o impacto desta característica no processo de debond. Este projecto permitiu ainda a discussão e o alinhamento entre as diferentes áreas de produção no que toca ao controlo e a melhoria de processos. Conseguiu–se demonstrar que o método Taguchi é um método eficiente no que toca ao estudo da variabilidade de um processo e otimização de parâmetros. A sua aplicação ao processo de debond permitiu melhorar ou a fiabilidade do processo em termos de garantia da qualidade do produto, como ao nível do aumento de produção.In the last years semiconductor industry, including memories production, made great developments. The need to reduce production costs, as well as to produce more complex and products with more capacity, led to the creation of WLP (Wafer Level Packaging) technology. This technology enables the production of smaller systems, simplifies the production flow and provides a cost reduction of the final product. WLP is a packaging technology for integrated circuits in silicon wafers in contrast with traditional methods in which the systems were individualized after mold process. With this development a better understanding of the mechanical behavior of MC (encapsulation polymer), more specifically the warpage of molded wafers, is needed. The warpage is a characteristic of this type of products and it is created due to the coefficient of thermal expansion mismatch between mold compound and silicon. The warpage of molded wafers could cause big manufacturing problems. Depending on the amount and direction of the warpage, the handling and production processes could be difficult. These issues could bring a reduction in quality of manufacturing products and production decrease. This thesis applies the Taguchi methodology, in the study of the variability of debond process to produce the product X. The choice of this product and process was based on the statistical study of warpage phenomenon during the production line. Taguchi's methodology is related to quality control and allows the systematic approach of a process, combining control charts, process control, products and process design in order to achieve a robust process. The results of this method and its correct implementation, allows significant savings in production processes with therefore an important financial impact. Since 2010, Nanium S.A., has been a leading Portuguese company in the 300 mm WLP technology. This work was carried out in Nanium S.A. under the master’s degree of Engineering in Instrumentation and Metrology. The aim of this work is to better understand warpage during the production line and improve the processes that have problems to work with this characteristic. This project also enables the discussion and the alignment between production areas in terms of production process development and control. The project team as also successful on improvement of the debond process reliability

Antecipação dos efeitos da tutela jurisdicional e as tutelas sumárias de urgência e de evidência no novo CPC

O propósito deste trabalho foi analisar o instituto da antecipação da tutela a partir do seu regramento no novo Código de Processo Civil. Foi necessário recordar a sua origem no Processo Cautelar, em decorrência da constatação de que não raro a tutela imediata pretendida era a do próprio direito material envolvido no litígio. Assim, fez-se referência à solução inicialmente adotada pelos operadores do direito por meio da utilização das denominadas ações cautelares satisfativas. Em virtude dessa demanda pela realização de direitos, o Código de Processo Civil de 1973 sofreu alteração com a Lei nº 8.954, de 1994, introduzindo-se a tutela antecipada, de forma expressa, no processo civil brasileiro. Ainda sob a égide do CPC anterior, foram traçados os precisos limites em que a antecipação de tutela poderia ser concedida desde que presentes não apenas os requisitos genéricos da prova inequívoca e da verossimilhança da alegação, mas também a reversibilidade da medida. O novo Estatuto Processual, considerando a importância do tema, destinou todo o Livro V da Parte Geral ao que denominou de Tutela Provisória. Desse modo, foram esmiuçadas as duas modalidades provisórias, quais sejam, as tutelas de evidência e as de urgência. Ao criar esta última, procurou o legislador acabar com a confusão frequente entre os causídicos, ainda sob o CPC anterior, quanto ao uso da antecipação em face de perigo de dano irreparável e das medidas cautelares. Ambas estão reunidas como subespécies da tutela de urgência, sendo satisfativa ou cautelar, a depender do interesse envolvido. A outra modalidade provisória, a tutela de evidência, foi ampliada em relação ao Código Buzaid, com a introdução de outras hipóteses além da sanção por má-fé processual, quais sejam, as baseadas em casos repetitivos, súmulas vinculantes, pedidos reipersecutório e provas documentais suficientes